* doc/misc/info.texi: Nuke hand-written node pointers.
authorGlenn Morris <rgm@gnu.org>
Fri, 28 Feb 2014 06:14:07 +0000 (22:14 -0800)
committerGlenn Morris <rgm@gnu.org>
Fri, 28 Feb 2014 06:14:07 +0000 (22:14 -0800)
commite7633d4c200bd7deaa421ca24840f0ba7a83e99a
tree10d813c3f121d21c0e261b984206197b8786e627
parent47ca99fb63e4fabf389cb5fdc2123402adf1d906
* doc/misc/info.texi: Nuke hand-written node pointers.
doc/misc/ChangeLog
doc/misc/info.texi